supremum of real analysis